Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
331	Apache HBase Master Redesign Proposal. The hbck-master DRAFT v2 (HBASE[removed]Long Version) Jonathan Hsieh ([removed[removed] Add to Reading List Source URL: issues.apache.org Language: English Java enterprise platform Automata theory Finite-state machine ZK File system Replication Representational state transfer HBase Extensible Storage Engine Computing Data synchronization Fault-tolerant computer systems
332	3-2 Development of the SprinTra WFST Speech Decoder DIXON Paul Richard, HORI Chiori, and KASHIOKA Hideki In this paper we describe the NICT Weighted Finite State Transducer (WFST) based speech decoder named SprinTra. The Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 21:19:13 Science Linguistics Speech recognition Applied mathematics Finite state transducer N-gram Finite-state machine Language model Algorithm Automata theory Computational linguistics Models of computation
333	Efficient Solutions for the Complement of wwR and the Complement of ww Allaoua Refoufi Computer Science Department University of Sétif Algéria Add to Reading List Source URL: dline.info Language: English - Date: 2015-01-12 10:33:13 Theoretical computer science Formal languages Computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Deterministic finite automaton Stack Chomsky hierarchy Automata theory Theory of computation Models of computation
334	Overview Model Checking Approaches Algorithmic Verification Comp4151 Lecture 11-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:09 Uppaal Model Checker Finite-state machine Ansgar Clock Christianity Middle Ages Automata theory Model checkers Model checking
335	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
336	Czech Technical University in Prague Faculty of Electrical Engineering Department of Computer Science and Engineering Automaton-based Backward Pattern Matching Doctoral Thesis Add to Reading List Source URL: www.stringology.org Language: English - Date: 2010-09-23 05:47:11 Formal languages Applied mathematics Models of computation Pattern matching Combinatorics on words String searching algorithm Deterministic finite automaton Approximate string matching Regular expression Automata theory Theoretical computer science Mathematics
337	RE-Tree: An Efficient Index Structure for Regular Expressions Chee-Yong Chan, Minos Garofalakis, Rajeev Rastogi Bell Labs, Lucent Technologies cychan,minos,rastogi @research.bell-labs.com Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:03:00 Deterministic finite automaton Finite-state machine Nondeterministic finite automaton Regular expression Alphabet Büchi automaton Automata theory Theory of computation Theoretical computer science
338	TUM ¨ R INFORMATIK INSTITUT FU Runtime verification revisited Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:37 Formal languages Computer science Applied mathematics Linear temporal logic Temporal logic Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Model theory Automata theory Theoretical computer science Models of computation
339	Aspect-Oriented Development Using Protocol Modeling Ashley McNeile1 and Ella Roubtsova2 1 Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2010-05-16 13:32:29 UML diagrams Object-oriented programming Automata theory Digital electronics Theoretical computer science Finite-state machine Mixin UML state machine ECO Software engineering Models of computation Computing
340	New Techniques for Regular Expression Searching Gonzalo Navarro† ∗ Mathieu Raffinot‡ Add to Reading List Source URL: www.dcc.uchile.cl Language: English - Date: 2008-08-14 13:15:26 Models of computation Computer science Combinatorics Combinatorics on words Nondeterministic finite automaton Regular expressions Deterministic finite automaton String searching algorithm Regular language Automata theory Formal languages Theoretical computer science

UPDATE